TAGs: addition doubles fact